Review of Defining a Discipline: Archival Research and Practice in the Twenty-First Century: Essays in Honor of Richard J. Cox

Review of Defining a Discipline: Archival Research and Practice in the Twenty-First Century: Essays in Honor of Richard J. Cox

Formal Verification of Boolean Unification Algorithms with Coq

We report on a verified implementation of two (well-known) algorithms for unification modulo the theory of Boolean rings: Lowenheim\u27s method and the method of Successive Variable Elimination. The implementations and proofs of correctness were done in the Coq proof assistant; we view this contribution as an early step in a larger project of developing a suite of verified implementations of equational unification algorithms

Pharmacological Manipulation of Early Zebrafish Skeletal Development Shows an Important Role for Smad9 in Control of Skeletal Progenitor Populations

Osteoporosis and other conditions associated with low bone density or quality are highly prevalent, are increasing as the population ages and with increased glucocorticoid use to treat conditions with elevated inflammation. There is an unmet need for therapeutics which can target skeletal precursors to induce osteoblast differentiation and osteogenesis. Genes associated with high bone mass represent interesting targets for manipulation, as they could offer ways to increase bone density. A damaging mutation in SMAD9 has recently been associated with high bone mass. Here we show that Smad9 labels groups of osteochondral precursor cells, which are not labelled by the other Regulatory Smads: Smad1 or Smad5. We show that Smad9+ cells are proliferative, and that the Smad9+ pocket expands following osteoblast ablation which induced osteoblast regeneration. We further show that treatment with retinoic acid, prednisolone, and dorsomorphin all alter Smad9 expression, consistent with the effects of these drugs on the skeletal system. Taken together these results demonstrate that Smad9+ cells represent an undifferentiated osteochondral precursor population, which can be manipulated by commonly used skeletal drugs. We conclude that Smad9 represents a target for future osteoanabolic therapies

A census of cool core galaxy clusters in IllustrisTNG

The thermodynamic structure of hot gas in galaxy clusters is sensitive to astrophysical processes and typically difficult to model with galaxy formation simulations. We explore the fraction of cool-core (CC) clusters in a large sample of $370$ clusters from IllustrisTNG, examining six common CC definitions. IllustrisTNG produces continuous CC criteria distributions, the extremes of which are classified as CC and non-cool-core (NCC), and the criteria are increasingly correlated for more massive clusters. At $z=0$, the CC fractions for $2$ criteria are in reasonable agreement with the observed fractions but the other $4$ CC fractions are lower than observed. This result is partly driven by systematic differences between the simulated and observed gas fraction profiles. The simulated CC fractions with redshift show tentative agreement with the observed fractions, but linear fits demonstrate that the simulated evolution is steeper than observed. The conversion of CCs to NCCs appears to begin later and act more rapidly in the simulations. Examining the fraction of CCs and NCCs defined as relaxed we find no evidence that CCs are more relaxed, suggesting that mergers are not solely responsible for disrupting CCs. A comparison of the median thermodynamic profiles defined by different CC criteria shows that the extent to which they evolve in the cluster core is dependent on the CC criteria. We conclude that the thermodynamic structure of galaxy clusters in IllustrisTNG shares many similarities with observations, but achieving better agreement most likely requires modifications of the underlying galaxy formation model.Comment: 24 pages, 17 figures, MNRAS published version. The IllustrisTNG project website can be found at http://www.tng-project.org

Localizing sensor networks in un-friendly environments

In this paper, we study the issue of defending against a wireless sensor network (WSN) that has been deployed by a malicious enemy agent in an area of interest to us. While there can be many approaches to defend against maliciously deployed WSNs, we propose the design of a localization centric approach. Specifically, the problem we address is: given an enemy deployed WSN in an area of interest to us, how can we determine locations of the sensors without co-operating with the sensors themselves during localization. In our approach, we employ a physically mobile agent called the localizer (e.g., a mobile robot) to move in the sensor network and detect raw sensor-to-sensor communication signals. However, the localizer has no information on the message content or the sensor id of any signal (possibly due to message encryption) since the sensors belong to an enemy agent. Based on estimating the angle of arrival and the received signal strength, we design a protocol for the localizer to determine sensor positions. The salient features of our protocol are efficient association of signals with sensors, and filtering many likely false locations over time. Sound theoretical analysis and extensive simulations are used to demonstrate the performance of our protocol from the perspective of localization accuracy

High intensity aerobic exercise training improves deficits of cardiovascular autonomic function in a rat model of type 1 diabetes mellitus with moderate hyperglycemia

© 2016 Kenneth N. Grisé et al. Indices of cardiovascular autonomic neuropathy (CAN) in experimental models of Type 1 diabetes mellitus (T1DM) are often contrary to clinical data. Here, we investigated whether a relatable insulin-treated model of T1DM would induce deficits in cardiovascular (CV) autonomic function more reflective of clinical results and if exercise training could prevent those deficits. Sixty-four rats were divided into four groups: sedentary control (C), sedentary T1DM (D), control exercise (CX), or T1DM exercise (DX). Diabetes was induced via multiple low-dose injections of streptozotocin and blood glucose was maintained at moderate hyperglycemia (9-17 mM) through insulin supplementation. Exercise training consisted of daily treadmill running for 10 weeks. Compared to C, D had blunted baroreflex sensitivity, increased vascular sympathetic tone, increased serum neuropeptide Y (NPY), and decreased intrinsic heart rate. In contrast, DX differed from D in all measures of CAN (except NPY), including heart rate variability. These findings demonstrate that this T1DM model elicits deficits and exercise-mediated improvements to CV autonomic function which are reflective of clinical T1DM

(9R,9aS,12aR,13S)-9,13-Diphenyl-9,9a,12a,13-tetrahydro-9,13-methanotriphenyleno[2,3-c]furan-10,12,14-trione

X-ray crystallography was used to characterise the title compound for the first time, and the 1H NMR, 13C NMR and IR spectroscopic data from earlier reports were also updated.Publisher PDFPeer reviewe

Western Diet-Fed, Aortic-Banded Ossabaw Swine: A Preclinical Model of Cardio-Metabolic Heart Failure.

The development of new treatments for heart failure lack animal models that encompass the increasingly heterogeneous disease profile of this patient population. This report provides evidence supporting the hypothesis that Western Diet-fed, aortic-banded Ossabaw swine display an integrated physiological, morphological, and genetic phenotype evocative of cardio-metabolic heart failure. This new preclinical animal model displays a distinctive constellation of findings that are conceivably useful to extending the understanding of how pre-existing cardio-metabolic syndrome can contribute to developing HF

Delta Narratives: Saving the Historical and Cultural Heritage of The Sacramento-San Joaquin Delta

From August 2014 through July 2015, the Delta Narratives project, on contract to the Delta Protection Commission, addressed two questions. First, in what ways does the historical experience of the Sacramento-San Joaquin Delta contribute to an understanding of key themes in regional and American history? Second, how might Delta stories gain wider appreciation within the region, throughout Northern California, and among people in the rest of California and beyond? Scholars on the project team documented ways the history of the Delta illustrates trends in land management and reclamation, technological shifts in transportation and agriculture, the impact of ethnicity and labor specialization on community building, and finally, the shifting visioning of America\u27s promise and fall from grace by artists and writers in response to the intense cultivation of the Delta and the conditions which workers there endured. Their essays testify to the intrinsic value of Delta stories and to the additional perspectives they bring to regional and national history. With these essays in hand, the project team investigated the current infrastructure for the preservation and dissemination of historical and cultural information in the Delta. It created a directory of institutions committed to promoting Delta stories. In order to stimulate conversations between these stakeholders, the team organized two workshops at which the scholars and archivists shared insights and invited commentary and conversation. Subsequently, with the support of the Center for California Studies at Sacramento State University, a conference entitled “More than H2O: Saving the History and Culture of the Sacramento-San Joaquin Delta” presented findings and discussed strategies with an audience of state and local stakeholders. Delta Narratives culminated with a conference organized around an American Assembly model. The conference generated a list of suggestions for further action regarding the recognition, preservation, and dissemination of Delta stories. High on the list of initiatives were adequate mapping of historically significant locations, an organization that would draw together the many cultural and historical groups in the Delta toward common action, the initiation of annual Delta Days to celebrate the region, and the creation of educational materials including web applications (apps), and a website devoted to the region

High Bone Mass Disorders : New Insights From Connecting the Clinic and the Bench

Monogenic high bone mass (HBM) disorders are characterized by an increased amount of bone in general, or at specific sites in the skeleton. Here, we describe 59 HBM disorders with 50 known disease-causing genes from the literature, and we provide an overview of the signaling pathways and mechanisms involved in the pathogenesis of these disorders. Based on this, we classify the known HBM genes into HBM (sub)groups according to uniform Gene Ontology (GO) terminology. This classification system may aid in hypothesis generation, for both wet lab experimental design and clinical genetic screening strategies. We discuss how functional genomics can shape discovery of novel HBM genes and/or mechanisms in the future, through implementation of omics assessments in existing and future model systems. Finally, we address strategies to improve gene identification in unsolved HBM cases and highlight the importance for cross-laboratory collaborations encompassing multidisciplinary efforts to transfer knowledge generated at the bench to the clinic. (c) 2022 The Authors. Journal of Bone and Mineral Research published by Wiley Periodicals LLC on behalf of American Society for Bone and Mineral Research (ASBMR).Peer reviewe